The Belief Calculus and Uncertain Reasoning
نویسنده
چکیده
We formulate the Dempster-Shafer formalism of belief functions [Shafer 761 in the spirit of logical inference systems. Our formulation (called the belief calculus) explicitly avoids the use of set-theoretic notations. As such, it serves as an alternative for the use of the Dempster-Shafer formalism for uncertain reasoning.
منابع مشابه
Observations and the Probabilistic Situation Calculus
In this article we propose a Probabilistic Situation Calculus logical language to represent and reason with knowledge about dynamical worlds in which actions have uncertain effects. Two essential tasks are addressed when reasoning about change in worlds: Probabilistic Temporal Projection and Probabilistic Belief Update. Uncertain effects are modeled by dividing an action into two subparts: a de...
متن کاملA modal logic for fusing partial beliefof multiple
We present PL n , a multi-agent epistemic logic where each agent can perform uncertain (possibilistic) reasoning. The original feature of this logic is the presence of a distributed belief operator, with the purpose of merging the belief of diierent agents. Unlike the corresponding operator in the categorical (non-uncertain) case, our distributed belief operator accumulates support for the same...
متن کاملA Non-numeric Approach to Uncertain Reasoning
This paper presents a non-numeric approach to uncertain reasoning by extending the incidence calculus. In parallel to the well known fuzzy, belief/plausibility, probability, and necessity/possibility measures, the corresponding classes of non-numeric functions are examined. A method of constructing non-numeric functions is discussed using the notion of compatibility relations. Non-numeric funct...
متن کاملTemporal Reasoning About Uncertain Worlds
We present a program that manages a database of temporally scoped beliefs. The basic functionality of the system includes maintaining a network of constraints among time points, supporting a variety of fetches, mediating the application of causal rules, monitoring intervals of time for the addition of new facts, and managing data dependencies that keep the database consistent. At this level the...
متن کاملA modal logic for merging partial beliefof multiple
We present PL n , a multi-agent epistemic logic where each agent can perform uncertain (possibilistic) reasoning. The original feature of this logic is the presence of a distributed belief operator, with the purpose of merging the belief of diierent agents. Unlike the corresponding operator in the categorical (non-uncertain) case, our distributed belief operator accumulates support for the same...
متن کامل